css=css
	.replace(/    /g,' ')
	.replace(/   /g,' ')
    .replace(/  /g,' ')
	.replace(/\n{/g,'{').replace(/ {/g,'{').replace(/{\n/g,'{').replace(/{ /g,'{')
	.replace(/\n}/g,'}').replace(/ }/g,'}').replace(/} /g,'}')
    .replace(/\n:/g,':').replace(/ :/g,':').replace(/:\n/g,':').replace(/: /g,':')
    .replace(/;\n/g,';').replace(/ ;\n/g,';').replace(/; /g,';')
	.replace(/:black/g,':#111').replace(/:white/g,':#eee')
;